Garbage Collection and Run-time Typing as a C++ Library

provide garbage collection. This paper proposes the use of \smart pointer" template classes as an interface for the use of garbage collection in C ++ . Template classes and operator overloading are techniques allowing language extension at the level of user code; I claim that using these techniques to create smart pointer classes provides a syntax for manipulating garbage-collected storage safely and conveniently. Further, the use of a smart-pointer template class o ers the possibility of implementing the collector at the user-level, without requiring support from the compiler. If such a compiler-independent implementation is possible with adequate performance, then programmers can start to write code using garbage collection without waiting for language and compiler modi cations. If the use of such a garbage-collection interface becomes widespread, then C ++ compilation systems can be built to specially support the garbage collection interface, thereby allowing the use of collection algorithms with enhanced performance. This paper presents such a garbage collection interface and implementation. In particular, the collection scheme has the following properties: